122 research outputs found
Powers of Hamilton cycles in pseudorandom graphs
We study the appearance of powers of Hamilton cycles in pseudorandom graphs,
using the following comparatively weak pseudorandomness notion. A graph is
-pseudorandom if for all disjoint and with and we have
. We prove that for all there is an
such that an -pseudorandom graph on
vertices with minimum degree at least contains the square of a
Hamilton cycle. In particular, this implies that -graphs with
contain the square of a Hamilton cycle, and thus
a triangle factor if is a multiple of . This improves on a result of
Krivelevich, Sudakov and Szab\'o [Triangle factors in sparse pseudo-random
graphs, Combinatorica 24 (2004), no. 3, 403--426].
We also extend our result to higher powers of Hamilton cycles and establish
corresponding counting versions.Comment: 30 pages, 1 figur
Approximating the largest eigenvalue of network adjacency matrices
The largest eigenvalue of the adjacency matrix of a network plays an
important role in several network processes (e.g., synchronization of
oscillators, percolation on directed networks, linear stability of equilibria
of network coupled systems, etc.). In this paper we develop approximations to
the largest eigenvalue of adjacency matrices and discuss the relationships
between these approximations. Numerical experiments on simulated networks are
used to test our results.Comment: 7 pages, 4 figure
Lower bounds for on-line graph colorings
We propose two strategies for Presenter in on-line graph coloring games. The
first one constructs bipartite graphs and forces any on-line coloring algorithm
to use colors, where is the number of vertices in the
constructed graph. This is best possible up to an additive constant. The second
strategy constructs graphs that contain neither nor as a subgraph
and forces colors. The best known
on-line coloring algorithm for these graphs uses colors
Sufficient Conditions for Tuza's Conjecture on Packing and Covering Triangles
Given a simple graph , a subset of is called a triangle cover if
it intersects each triangle of . Let and denote the
maximum number of pairwise edge-disjoint triangles in and the minimum
cardinality of a triangle cover of , respectively. Tuza conjectured in 1981
that holds for every graph . In this paper, using a
hypergraph approach, we design polynomial-time combinatorial algorithms for
finding small triangle covers. These algorithms imply new sufficient conditions
for Tuza's conjecture on covering and packing triangles. More precisely,
suppose that the set of triangles covers all edges in . We
show that a triangle cover of with cardinality at most can be
found in polynomial time if one of the following conditions is satisfied: (i)
, (ii) , (iii)
.
Keywords: Triangle cover, Triangle packing, Linear 3-uniform hypergraphs,
Combinatorial algorithm
Spanning directed trees with many leaves
The {\sc Directed Maximum Leaf Out-Branching} problem is to find an
out-branching (i.e. a rooted oriented spanning tree) in a given digraph with
the maximum number of leaves. In this paper, we obtain two combinatorial
results on the number of leaves in out-branchings. We show that
- every strongly connected -vertex digraph with minimum in-degree at
least 3 has an out-branching with at least leaves;
- if a strongly connected digraph does not contain an out-branching with
leaves, then the pathwidth of its underlying graph UG() is .
Moreover, if the digraph is acyclic, the pathwidth is at most .
The last result implies that it can be decided in time whether a strongly connected digraph on vertices has an
out-branching with at least leaves. On acyclic digraphs the running time of
our algorithm is
Smoothed Complexity Theory
Smoothed analysis is a new way of analyzing algorithms introduced by Spielman
and Teng (J. ACM, 2004). Classical methods like worst-case or average-case
analysis have accompanying complexity classes, like P and AvgP, respectively.
While worst-case or average-case analysis give us a means to talk about the
running time of a particular algorithm, complexity classes allows us to talk
about the inherent difficulty of problems.
Smoothed analysis is a hybrid of worst-case and average-case analysis and
compensates some of their drawbacks. Despite its success for the analysis of
single algorithms and problems, there is no embedding of smoothed analysis into
computational complexity theory, which is necessary to classify problems
according to their intrinsic difficulty.
We propose a framework for smoothed complexity theory, define the relevant
classes, and prove some first hardness results (of bounded halting and tiling)
and tractability results (binary optimization problems, graph coloring,
satisfiability). Furthermore, we discuss extensions and shortcomings of our
model and relate it to semi-random models.Comment: to be presented at MFCS 201
On high moments of strongly diluted large Wigner random matrices
We consider a dilute version of the Wigner ensemble of nxn random matrices
and study the asymptotic behavior of their moments in the limit of
infinite , and , where is the dilution parameter. We show
that in the asymptotic regime of the strong dilution, the moments with
depend on the second and the fourth moments of the random entries
and do not depend on other even moments of . This fact can be
regarded as an evidence of a new type of the universal behavior of the local
eigenvalue distribution of strongly dilute random matrices at the border of the
limiting spectrum. As a by-product of the proof, we describe a new kind of
Catalan-type numbers related with the tree-type walks.Comment: 43 pages (version four: misprints corrected, discussion added, other
minor modifications
On Connected Diagrams and Cumulants of Erdos-Renyi Matrix Models
Regarding the adjacency matrices of n-vertex graphs and related graph
Laplacian, we introduce two families of discrete matrix models constructed both
with the help of the Erdos-Renyi ensemble of random graphs. Corresponding
matrix sums represent the characteristic functions of the average number of
walks and closed walks over the random graph. These sums can be considered as
discrete analogs of the matrix integrals of random matrix theory.
We study the diagram structure of the cumulant expansions of logarithms of
these matrix sums and analyze the limiting expressions in the cases of constant
and vanishing edge probabilities as n tends to infinity.Comment: 34 pages, 8 figure
On the cavity method for decimated random constraint satisfaction problems and the analysis of belief propagation guided decimation algorithms
We introduce a version of the cavity method for diluted mean-field spin
models that allows the computation of thermodynamic quantities similar to the
Franz-Parisi quenched potential in sparse random graph models. This method is
developed in the particular case of partially decimated random constraint
satisfaction problems. This allows to develop a theoretical understanding of a
class of algorithms for solving constraint satisfaction problems, in which
elementary degrees of freedom are sequentially assigned according to the
results of a message passing procedure (belief-propagation). We confront this
theoretical analysis to the results of extensive numerical simulations.Comment: 32 pages, 24 figure
- …